We present initial results on a comprehensive model of structuredcommunications, in which self- adaptation and security concerns are jointlyaddressed. More specifically, we propose a model of self-adaptive, multipartycommunications with secure information flow guarantees. In this model, securityviolations occur when processes attempt to read or write messages ofinappropriate security levels within directed exchanges. Such violationstrigger adaptation mechanisms that prevent the violations to occur and/or topropagate their effect in the choreography. Our model is equipped with localand global mechanisms for reacting to security violations; type soundnessresults ensure that global protocols are still correctly executed, while thesystem adapts itself to preserve security.
展开▼
